1. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
2. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
3. Integration of AI and OR Techniques in Constraint Programming...
پدیدآورنده : \ Roman Barták, Michela Milano (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Constraints (Artificial intelligence) -- Congresses.,Constraint programming (Computer science) -- Congresses.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها
رده :
E-Book
,
4. Integration of AI and OR techniques in constraint programming for combinatorial problems : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30-June 1, 2005 : proceedings
پدیدآورنده : Roman Bartak, Michela Milano )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraints )Artificial intelligence(,Congresses ، Constraint programming )Computer science(,Congresses ، Combinatorial optimization,Technique -- Congresses ، Artificial intelligence,Congresses ، Operations research
رده :
QA
76
.
L28
Vol
.
3524
5. Integration of Constraint Programming, Artificial Intelligence, and Operations Research :
پدیدآورنده : Louis-Martin Rousseau, Kostas Stergiou (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Constraint programming (Computer science), Congresses.,Operations research, Congresses.,Artificial intelligence.,Constraint programming (Computer science),Operations research.
رده :
QA76
.
612
.
I584
2019
6. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1865
7. Recent advances in constraints
پدیدآورنده : Javier Larrosa, Barry O'Sullivan (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Constraint programming (Computer science), Congresses,Constraints (Artificial intelligence), Congresses
رده :
Q340
.
J65
2011
8. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
9. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
10. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
